$\forall$$g$:OCMon, $u$, $v$, $w$:$\mid$$g$$\mid$. ($v$ $<$ $w$) $\Rightarrow$ (($u$ $\ast$ $v$) $<$ ($u$ $\ast$ $w$))